2

Constructive metrisability in point-free topology

Year:
2003
Language:
english
File:
PDF, 363 KB
english, 2003
3

Remarks on the Stone–Čech and Alexandroff compactifications of locales

Year:
2008
Language:
english
File:
PDF, 301 KB
english, 2008
5

On Tarski’s fixed point theorem

Year:
2015
Language:
english
File:
PDF, 257 KB
english, 2015
6

ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS

Year:
2018
Language:
english
File:
PDF, 246 KB
english, 2018
8

On some peculiar aspects of the constructive theory of point-free spaces

Year:
2010
Language:
english
File:
PDF, 162 KB
english, 2010
9

On the collection of points of a formal space

Year:
2006
Language:
english
File:
PDF, 302 KB
english, 2006
10

Metric spaces in type theory via formal topology (Extended Abstract)

Year:
2000
Language:
faroese
File:
PDF, 690 KB
faroese, 2000
11

Exact approximations to Stone–Čech compactification

Year:
2007
Language:
english
File:
PDF, 463 KB
english, 2007
12

Topological inductive definitions

Year:
2012
Language:
english
File:
PDF, 281 KB
english, 2012
14

On the existence of Stone-Čech compactification

Year:
2010
Language:
english
File:
PDF, 761 KB
english, 2010